Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. (Lecture Notes in Computer Science, 1085)

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.--publisher's Website. Integrating Statistical Audit Evidence With Belief Function Theory / Carine Van Der Acker -- A Comparative Survey Of Default Logic Variants / Grigoris Antoniou -- Modal Logics With Relative Accessibility Relations / Philippe Balbiani -- Geometrical Structures And Modal Logic / Philippe Balbiani, Luis Farinas Del Cerro, Tinko Tinchev And Dimiter Vakarelov -- A Unified Framework For Hypothetical And Practical Reasoning (1) -- Theoretical Foundations / Subrata Das, John Fox And P. Krause -- A Unified Framework For Hypothetical And Practical Reasoning (2) -- Lessons From Medical Applications / John Fox And Subrata Das -- General Domain Circumscription And Its First-order Reduction / Patrick Doherty, Witold Lukaszewicz And Andrzej Szalas -- Reasoning About Rational, But Not Logically Omniscient Agents / Ho Ngoc Duc -- Specification Of Nonmonotonic Reasoning / Joeri Engelfriet And Jan Treur. Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). Includes Bibliographical References And Index. 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