|
H ?
«
‹
←
→
›
»
Language peer sets for sceptic 4: United Kingdom↑ United Kingdom/1993↑ Designed 1993 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Experimental and other ↑ Experimental and other/1993↑ Experimental and other/uk ↑ sceptic 4(ID:5398/sce002)alternate simple viewCountry: United Kingdom Designed 1993 Sammet category: Experimental and other Prolog extension to add forward chaining Cooper and Farringdon Imperial College 1993 from Sceptic Home Page "Sceptic is a programming language originally developed at the Imperial Cancer Research Fund (London) (c.f. Hajnal et al., 1989). It has been successfully used to implement complex, time-evolving systems (e.g., biological process simulations (Zicha & Fox, 1991) and logical reasoning mechanisms (Hajnal et al., 1989)), autonomous systems (Fox, 1992), planning systems (O'Neill, 1992) and control processes in image interpretation and medical problem solving (Walker, 1991). It is currently being developed at UCL as a modelling language within the context of a modelling methodology for cognitive psychology. The project, which involves R. Cooper, J. Farringdon, J. Fox and T. Shallice, is aimed at developing a systematic methodology, with appropriate computational support, for computational modelling. Within the bounds of this project Sceptic has been used to develop rational reconstructions of previously implemented theories as well as implementations of theories which previously were only described verbally (see the associated case studies). The work on cognitive modelling has taken Sceptic as a starting point because: the language interpreter supports a number of mechanisms that are commonly assumed in cognitive theories (e.g., pattern-directed processing, content addressable memory retrieval/update, sequential processing and parallel data propagation modes); and it has a simple but expressive syntax which assists clear and succinct representation of data-structures and processes, and its execution model is simple and easily described. Sceptic runs under several Prologs. The environment currently comprises database facilities (i.e., Prolog's database), a rule interpreter, a set of libraries containing code that we have found useful in a number of modelling applications, and a debugger. It is envisaged that this may be extended to include object oriented facilities and a graphical interface. The current version of Sceptic retains the distinctive control structure of previous versions of Sceptic (triggered productions, or conditional rewrite rules), as developed at ICRF, but differs from previous versions on a number of counts. A complete list is given in an appendix, but it is worth noting here the altered relation between Sceptic and Prolog. In previous versions, the Sceptic rule interpreter was an extension of Prolog which ran on top of Prolog. It was possible to mix Sceptic and Prolog in an arbitrary manner by escaping to the Prolog interpreter which was running underneath the Sceptic interface. Version 4 attempts to redefine the relation between Sceptic and Prolog in two ways. First, Sceptic rules and standard Prolog predicates are viewed as having very different functions within the system, and to reflect this the mixing of rules and predicates is highly constrained. Second, the interface has been substantially altered such that it differentiates Sceptic rules and Prolog predicates and acts accordingly. In doing this we have attempted to import many aspects of Prolog, as transparently as possible, into Sceptic. Users familiar with Prolog will note many features of Sceptic which have been imported (often without explicit mention) from Prolog. " Related languages
References: in [Proceedings] (1995) Proceedings of the 17th Annual Conference of the Cognitive Science Society, Pittsburgh, PA, USA 1995 in [Proceedings] (1995) Proceedings of the 17th Annual Conference of the Cognitive Science Society, Pittsburgh, PA, USA 1995 Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder |