This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.
The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others.
Author(s): Carine Van den Acker, Jan Vanthienen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Series: Lecture Notes in Computer Science 1085 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 726
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Foundations; Mathematical Logic and Formal Languages
Integrating statistical audit evidence with belief function theory....Pages 1-14
A comparative survey of default logic variants....Pages 15-28
Modal logics with relative accessibility relations....Pages 29-42
Geometrical structures and modal logic....Pages 43-57
A unified framework for hypothetical and practical reasoning (1): Theoretical foundations....Pages 58-72
A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications....Pages 73-92
General domain circumscription and its first-order reduction....Pages 93-109
Reasoning about rational, but not logically omniscient agents (extended abstract)....Pages 110-110
Specification of nonmonotonic reasoning....Pages 111-125
Intelligent agents in the Situation Calculus: An application to user modelling....Pages 126-140
Talkin'bout consistency, or: When logically possible becomes possible....Pages 141-150
The analysis and evaluation of legal argumentation from a pragma-dialectical perspective....Pages 151-166
Reasoning about reasoning....Pages 167-177
A resolution-based proof method for temporal logics of knowledge and belief....Pages 178-192
A methodology for iterated theory change....Pages 193-207
A formal framework for causal modeling and argumentation....Pages 208-222
Goals in argumentation....Pages 223-230
An abductive proof procedure for conditional logic programming....Pages 231-245
Commands in dialogue logic....Pages 246-260
Ideal and real belief about belief....Pages 261-275
Analogical reasoning of organic reactions based on the structurized compound-reaction diagram....Pages 276-290
Labelling ideality and subideality....Pages 291-304
Mind, morals, and reasons....Pages 305-317
Aristotle, Whately, and the taxonomy of fallacies....Pages 318-330
Nonmonotonic reasoning with multiple belief sets....Pages 331-344
SEdit — Graphically validating technical systems....Pages 345-348
The need for a dialectical tier in arguments....Pages 349-360
Two kinds of non-monotonic analogical inference....Pages 361-374
The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective....Pages 375-383
Formal reasoning about modules, reuse and their correctness....Pages 384-398
A tableau calculus for first-order branching time logic....Pages 399-413
Possible world semantics for analogous reasoning....Pages 414-429
Using temporary integrity constraints to optimize databases....Pages 430-435
Graded inheritance nets for knowledge representation....Pages 436-448
Defining normative systems for qualitative argumentation....Pages 449-463
Complex argumentation in judicial decisions. Analysing conflicting arguments....Pages 464-479
Combining partitions and modal logic for user modeling....Pages 480-494
Reason in a changing world....Pages 495-509
A system for defeasible argumentation, with defeasible priorities....Pages 510-524
Modal logic for modelling actions and agents....Pages 525-539
Formalization of reasoning about default action (preliminary report)....Pages 540-554
An architecture for argumentative dialogue planning....Pages 555-566
Skeptical query-answering in Constrained Default Logic....Pages 567-581
Type theoretic semantics for SemNet....Pages 582-595
From syllogisms to audiences: The prospects for logic in a rhetorical model of argumentation....Pages 596-605
Human reasoning with negative defaults....Pages 606-621
On the semantics of the unknown....Pages 622-636
System J — Revision entailment....Pages 637-649
Deep disagreements and public demoralization....Pages 650-662
Practical reasoning with procedural knowledge....Pages 663-678
Towards the assessment of logics for concurrent actions....Pages 679-690
Default reasoning and belief revision in the CIN Project....Pages 691-693
Mechanizing multi-agent reasoning with belief contexts....Pages 694-696
Arguments and mental models: A position paper....Pages 697-704
Argumentation and decision making: A position paper....Pages 705-709
The implementation of LENA....Pages 710-712
The implementation of CondLP....Pages 713-715
How to reason about akratic action practically?....Pages 716-719
