Robert Kowalski  Home/Search
Context Related
| uky.edu/cs/lpnmr/models.ps.gz lp.doc.ic.ac.uk/_lp/Kowalsk...models.ps laotzu.doc.ic.ac.uk/pub/pap...models.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uky.edu/~lpnmr/papers (more) From: lp.doc.ic.ac.uk/~rak/rak (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. In this paper I shall propose the notion of `knowledge assimilation', the assimilation of new information into a knowledge base, as an alternative understanding of the way in which a knowledge base formulated in logic relates to externally generated input sentences that describe experience. I shall argue that the notion of... (Update)
Context of citations to this paper: More
...promising, following the line suggested by Kowalski to conceive [ a mental language in which an agent subjectively constructs internal representations of its experience and beliefs and uses those representations to derive logical consequences. R. Kowalski in [Kow94],...
...of building up a mental model of a language user. The second and the third ways lead to the concept of knowledge assimilation [Kowalski 93] According to this proof theoretic approach a DRS is processed by resource constrained deduction and tested whether it can be...
Cited by: More
Assessment of some issues in CL-theory and program development - Danny De Schreye (Correct)
Meta-Programming in Logic Programming - Hill, Gallagher (1994) (Correct)
Software Development Based on Executable Specifications and.. - Fromherz, Fuchs (1994) (Correct)
Active bibliography (related documents): More All
0.6: Metaprogramming in Logic - Barklund (1994) (Correct)
0.5: The Role of Abduction in Logic Programming - Kakas, Kowalski, Toni (1998) (Correct)
0.5: Quantitative Deduction And Its Fixpoint Theory - van Emden (1986) (Correct)
Similar documents based on text: More All
0.0: An ATM-Based Indoor Millimeter-Wave Wireless LAN for.. - Wu, Hase, Inoue (2000) (Correct)
0.0: Representing Continuous Change in The Event Calculus - Shanahan (1990) (Correct)
0.0: On General Disjunctive Logic Programs - Lobo, Minker, Rajasekar (Correct)
Related documents from co-citation: More All
4: Natural Language Processing for Requirements Specifications (context) - Macias, Pulman - 1993
4: The relation between logic programming and logic specification (context) - Kowalski - 1985
4: Natural Language Processing and Requirements Specification (context) - Pulman - 1994
BibTeX entry: (Update)
Robert Kowalski. Logic without model theory. In Dov Gabbay, editor, What is a logical system?, chapter 2, pages 35--71. 1994. (Also at http://wwwlp. doc.ic.ac.uk/ lp/Kowalski/models.ps). http://citeseer.ist.psu.edu/kowalski94logic.html More
@incollection{ kowalski94logic,
author = "R. Kowalski",
title = "{Logic without Model Theory}",
booktitle = "What is a Logical System?",
publisher = "Oxford University Press",
editor = "D. M. Gabbay",
pages = "35--71",
year = "1994",
url = "citeseer.ist.psu.edu/kowalski94logic.html" }
Citations (may not include all citations):634 A Machine Oriented Logic Based on the Resolution Principle (context) - Robinson - 1965
274 Situations and Attitudes (context) - Barwise, Perry - 1983
212 Abductive Logic Programming - Kakas, Kowalski et al. - 1992
186 Automated Theorem Proving: A Logical Basis (context) - Loveland - 1978
156 SATCHMO: A theorem prover implemented in Prolog (context) - Manthey, Bry - 1988
96 Logic and Information (context) - Devlin - 1991
86 AmalgamatingLanguage and Metalanguage in Logic Programming (context) - Bowen, Kowalski - 1982
55 Analysis of metaprograms (context) - Hill, Lloyd - 1989
48 A theorem proving approach to database integrity (context) - Sadri, Kowalski - 1987
44 Languages with Self-Reference I : Foundations (context) - Perlis
42 Knowledge in Flux: Modelling the dynamics of epistemic state.. (context) - Gardenfors - 1988
42 Problems and Promises of Computational Logic (context) - Kowalski - 1990
38 the Logic of Theory Change: Partial meet functions for contr.. (context) - Alchourr'on, Gardenfors et al. - 1985
29 Composition operators for logic theories (context) - Brogi, Mancarella et al. - 1990
28 Language with Self-Reference II: Knowledge (context) - Perlis
28 The British Nationality Act as a logic program (context) - Sergot, Sadri et al. - 1986
24 Model Generation Theorem Provers on a Parallel Inference Mac.. (context) - Fujita, Hasegawa et al. - 1992
18 A Metalogic Programming Approach to Multi-Agent Knowledge an.. (context) - Kowalski, Kim - 1991
11 The Consistency of Syntactical Treatments of Knowledge (context) - Rivires, Levesque - 1986
9 and Byrne (context) - Johnson-Laird - 1991
7 Metaprogramming through a truth predicate (context) - Sato - 1992
7 with Corollaries on Reflection Principles and Finite Axiomat.. (context) - Montague - 1963
6 A Point of Reference (context) - Richards - 1974
5 North Holland Elsevier (context) - Kowalski - 1979
5 Micro-Prolog: Programming in Logic (context) - Clark, McCabe - 1984
3 The Logical Content of Theories of Deduction (context) - Hodges - 1993
3 Classical versus non-classical logic (context) - Gabbay - 1993
3 the semantics of real metalogic programming - a preliminary .. (context) - Jiang - 1993
2 Basil Blanckwell Ltd (context) - Sperber, Wilson - 1986
2 Negation by failure (context) - Clark - 1978
1 Pitman Research Notes in Artificial Intelligence (context) - Konolige - 1986
1 A note on syntactic treatments of modality (context) - Richmond - 1980
1 ACM Computing Serveys (context) - Gallaire, Minker et al. - 1984
1 Legislation as Logic Programs: in Logic Programming in Actio.. (context) - Kowalski - 1992
1 Metalevel features in the object level (context) - Gabbay - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.engr.uky.edu/~lpnmr/papers.html): More
Logic Programs as Definitions: a framework for and an.. - Denecker, De Schreye (Correct)
How to Progress a Database (and Why) I. Logical Foundations - Fangzhen Lin (1994) (Correct)
Domain Theory Meets Default Logic - Rounds, Zhang (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC